Semiring of Sets
نویسنده
چکیده
Schmets [22] has developed a measure theory from a generalized notion of a semiring of sets. Goguadze [15] has introduced another generalized notion of semiring of sets and proved that all known properties that semiring have according to the old definitions are preserved. We show that this two notions are almost equivalent. We note that Patriota [20] has defined this quasi-semiring. We propose the formalization of some properties developed by the authors.
منابع مشابه
Finite Product of Semiring of Sets
We formalize that the image of a semiring of sets [17] by an injective function is a semiring of sets. We offer a non-trivial example of a semiring of sets in a topological space [21]. Finally, we show that the finite product of a semiring of sets is also a semiring of sets [21] and that the finite product of a classical semiring of sets [8] is a classical semiring of sets. In this case, we use...
متن کاملLazy Semiring Neighbours and Some Applications
We extend an earlier algebraic approach to Neighbourhood Logic (NL) from domain semirings to lazy semirings yielding lazy semiring neighbours. Furthermore we show three important applications for these. The first one extends NL to intervals with infinite length. The second one applies lazy semiring neighbours in an algebraic semantics of the branching time temporal logic CTL∗. The third one set...
متن کاملTropical Algebraic Sets, Ideals and an Algebraic Nullstellensatz
This paper introduces the foundations of the polynomial algebra and basic structures for algebraic geometry over the extended tropical semiring. Our development, which includes the tropical version for the fundamental theorem of algebra, leads to the reduced polynomial semiring – a structure that provides a basis for developing a tropical analogue to the classical theory of commutative algebra....
متن کاملTropical linear algebra with the Łukasiewicz T-norm
The max-Łukasiewicz semiring is defined as the unit interval [0, 1] equipped with the arithmetics “a + b” = max(a, b) and “ab” = max(0, a + b− 1). Linear algebra over this semiring can be developed in the usual way. We observe that any problem of the max-Łukasiewicz linear algebra can be equivalently formulated as a problem of the tropical (max-plus) linear algebra. Based on this equivalence, w...
متن کاملThe Structure of the One-Generated Free Domain Semiring
This note gives an explicit construction of the one-generated free domain semiring. In particular it is proved that the elements can be represented uniquely by finite antichains in the poset of finite strictly decreasing sequences of nonnegative integers. It is also shown that this domain semiring can be represented by sets of binary relations with union, composition and relational domain as op...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formalized Mathematics
دوره 22 شماره
صفحات -
تاریخ انتشار 2014